Equivalence Semantics for Process Algebraic Language: Standard and Symbolic Bisimulation
نویسنده
چکیده
منابع مشابه
Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Johansson, M. 2010. Psi-calculi: a framework for mobile process calculi. Cook your own correct process calculus just add data and logic. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 94. 184 pp. Uppsala. ISBN 978-91-554-7818-6. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and...
متن کاملSymbolic Approach to the Analysis of Security Protocols
The specification and validation of security protocols often requires viewing function calls – like encryption/decryption and the generation of fake messages – explicitly as actions within the process semantics. Following this approach, this paper introduces a symbolic framework based on value-passing processes able to handle symbolic values like fresh nonces, fresh keys, fake addresses and fak...
متن کاملA Process-Algebraic Language for Probabilistic I/O Automata
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, which requires that all input actions be enabled in every state of a PIOA, we augment the language with a set of type inference rules. We also equip our language with a formal operational semantics defined by a set of trans...
متن کاملSymbolic Bisimulation for the Applied Pi Calculus
We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...
متن کاملSymbolic Bisimulation for the Applied Pi Calculus * Stéphanie Delaune
We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998